Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
131	Dov M. Gabbay Andrzej SzaÃlas Second-Order Quantifier Elimination in Higher-Order Contexts with Applications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:40 Model theory Constructible universe Lambda calculus First-order logic FO Interpretation Curry–Howard correspondence Boolean-valued model Mathematical logic Logic Mathematics
132	A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings∗ Aleksey Nogin Alexei Kopylov Xin Yu Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 09:14:14 Theoretical computer science Grammar Formal languages Logic programming Type theory Higher-order abstract syntax Free variables and bound variables Lambda calculus Syntax Mathematics Logic Software engineering
133	Critical Thinking and Transferability: A Review of the Literature By Gwendolyn Reece April 9, 2002 Add to Reading List Source URL: www.trinitydc.edu Language: English - Date: 2014-06-02 19:34:58 Cognition Thought Learning Educational psychology Logic Critical thinking Informal logic Higher order thinking skills Edward de Bono Education Mind Problem solving
134	Journal of Glaciology, Vol. 56, No. 196, [removed]Using the unstable manifold correction in a Picard iteration to solve the velocity ﬁeld in higher-order ice-ﬂow models Add to Reading List Source URL: homepages.ulb.ac.be Language: English - Date: 2011-09-05 03:03:18 Curves Differential geometry of curves Entailment Logic Differential geometry Deduction
135	Higher-order logic programming in Prolog Lee Naish ([removed], http://www.cs.mu.oz.au/~lee) Technical Report 96/2 Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2001-02-26 03:42:44 Higher-order functions Recursion Functional programming Lisp programming language Functional languages Fold Prolog Append Map Software engineering Computing Computer programming
136	Higher Order Programming Copyright[removed]by Alexander A. Stepanov, Aaron Kershenbaum and David R. Musser March 5 , 1987 Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Procedural programming languages Mathematical logic Functional languages Lisp programming language Cross-platform software Subroutine Tail call Algorithm Recursion Software engineering Computer programming Computing
137	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu January 6, 2006 Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Predicate logic Formal methods Models of computation Hoare logic Separation logic Monad First-order logic Mathematical logic Mathematics Logic
138	Effective Interactive Proofs for Higher-Order Imperative Programs ∗ Adam Chlipala Gregory Malecha Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Separation logic Mathematical proof Coq Proof assistant Calculus of constructions ATS Modal logic First-order logic Logic Mathematical logic Theoretical computer science
139	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic
140	Reasoning About Higher-Order Relational Specifications Kaustuv Chaudhuri INRIA, France [removed] Yuting Wang Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-08-06 01:04:09 Admissible rule Entailment Natural deduction Logic Deduction Symbol

UPDATE